Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings: No. 242 (Lecture Notes in Computer Science)
by Guy Cousineau,Pierre-Louis Curien,Bernard Robinet
ISBN 13: 9783540171843
Format: Paperback (220 pages) Publisher: Springer Published: 01 Nov 1986
Save for later
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings: 530 (Lecture Notes in Computer Science, 530)
by David H. Pitt,Pierre-Louis Curien,Samson Abramsky,Andrew Pitts,Axel Poigne,David E. Rydeheard
ISBN 13: 9783540544951
Format: Illustrated (312 pages) Publisher: Springer Published: 13 Jun 2008